Programming tool - PDFSEARCH.IO - Document Search Engine

Programming tool
Results: 791

#	Item
251	Tool Demonstration Abstract: OpenModelica and CasADi for Model-Based Dynamic Optimization Alachew Shitahun1 Vitalij Ruge2 Add to Reading List Source URL: www.ep.liu.se Language: English - Date: 2013-03-26 11:28:54 Software engineering Software Operations research Modelica Mathematical optimization Control theory JModelica.org Optimal control Model predictive control Simulation software Application software Object-oriented programming
252	Python regular expressions Regular Expressions • Regular expressions are a powerful string manipulation tool Add to Reading List Source URL: www.astrocomma.com Language: English - Date: 2011-11-08 12:31:32 Pattern matching Scripting languages Regular expressions Formal languages Automata theory Python Sed Conditional D Computing Software engineering Computer programming
253	The Thermoflow60 Finite-Element Program Ulrich Wepler 1, Dieter an Mey2, Thomas Haarmann3, Wolfgang Koschel4 1) German Aerospace Center (DLRCenter for Computing and Communication, Aachen University (RWTH) Add to Reading List Source URL: www.compunity.org Language: English - Date: 2007-10-15 03:41:05 Software engineering OpenMP Loop scheduling Fortran For loop Vectorization Barrier Automatic parallelization tool Computing Computer programming Parallel computing
254	Practical Model-Checking Method for Verifying Correctness of MPI Programs Salman Pervez1 , Ganesh Gopalakrishnan1 , Robert M. Kirby1 , Robert Palmer1 , Rajeev Thakur2 , and William Gropp2 1 Add to Reading List Source URL: www.mcs.anl.gov Language: English - Date: 2007-07-26 13:39:22 Parallel computing Application programming interfaces Model checking MPICH Application checkpointing Promela ISP Thread ISP Formal Verification Tool Computing Computer programming Software
255	NOWEB(1) NOWEB(1) NAME notangle, noweave, nountangle − noweb, a literate-programming tool Add to Reading List Source URL: ftp.rrze.uni-erlangen.de Language: English - Date: 2007-05-17 19:00:00 Noweb Troff literate programming Technical communication LaTeX TeX WEB Markup language Man page Computing Software Application software
256	Int J Softw Tools Technol Transfer DOIs10009REGULAR PAPER The common aspect proof environment Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2011-06-27 10:17:59 Aspect-oriented programming Java Pathfinder AspectJ Join point Spring Framework Formal verification Model checking AIDA Programming tool Software development Software Aspect-oriented software development
257	A CFD program package written in Fortran77 has been parallelized in order to allow larger simulations Add to Reading List Source URL: www.compunity.org Language: English - Date: 2007-10-15 03:41:05 Parallel computing Application programming interfaces Fortran OpenMP Compiler optimizations Lis Automatic parallelization tool Automatic parallelization Computing Software Computer programming
258	Service Coroner: A Diagnostic Tool for Locating OSGi Stale References Kiev Gama and Didier Donsez University of Grenoble, LIG laboratory, ADELE team {firstname.lastname}@imag.fr Abstract Add to Reading List Source URL: www-adele.imag.fr Language: English - Date: 2012-11-27 05:34:06 Standards organizations Java platform OW2 Consortium Java programming language OSGi Apache Felix Equinox Knopflerfish JOnAS Software Computing Java enterprise platform
259	r-TuBound: Loop Bounds for WCET Analysis (tool paper) Jens Knoop, Laura Kov´acs, and Jakob Zwirchmayr? TU Vienna Abstract. We describe the structure and the usage of a new software tool, called Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-01-11 07:16:42 Control flow Real-time computing Worst-case execution time Infinite loop For loop Algorithm Signal-flow graph Control theory Recurrence relation Computing Computer programming Software engineering
260	Tool Demonstration Abstract: OpenModelica Graphical Editor and Debugger Add to Reading List Source URL: www.ep.liu.se Language: English - Date: 2013-03-26 11:29:38 Object-oriented programming Simulation software Modelica Debuggers GNU Debugger Debugging Integrated development environment Breakpoint MathModelica Computer programming Software engineering Computing

UPDATE